CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 4 of 4 Results
1.
Symposium on Real-Time and Hybrid Systems : Esays Dedicated to Professor Chaochen Zhou on th...
Symposium on Real-Time and Hybrid Systems : Esays Dedicated to Professor Chaochen Zhou on th... by Jones, Cliff, Wang, Ji, Zha... ISBN: 9783030014605 List Price: $59.99
$51.31 (Save 14%)
2.
Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021,...
Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021,... by Huisman, Marieke, Pasareanu... ISBN: 9783030908690
$112.41
3.
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach by Zhan, Naijun, Wang, Shuling... ISBN: 9783319470146 List Price: $129.00
$119.25 (Save 7%)
4.
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach by Zhan, Naijun, Wang, Shuling... ISBN: 9783319836386 List Price: $129.00
$121.65 (Save 5%)